Using simplex method in verifying software safety
نویسندگان
چکیده
منابع مشابه
Using Simplex Method in Verifying Software Safety
In this paper we discuss an application of the Simplex method in checking software safety — the application in automated detection of buffer overflows in C programs. This problem is important because buffer overflows are suitable targets for hackers’ security attacks and sources of serious programs’ misbehavior. We also describe our implementation, including a system for generating software cor...
متن کاملVerifying Safety Properties Related to Reachability Problems in Software Programs
With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniques for formal analysis and automatic verification of software programs. The majority of work carried out in the formal methods community throughout the last three decades has been devoted to special languages designed to m...
متن کاملVerifying Safety Properties Related to Reachability Problems in Software Programs
With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniques for formal analysis and automatic verification of software programs. The majority of work carried out in the formal methods community throughout the last three decades has been devoted to special languages designed to m...
متن کاملVerifying Safety-Critical Properties of Embedded Software by Abstract Interpretation
Static program analysis by abstract interpretation is an efficient method to determine properties of embedded software. One example is value analysis, which determines the values stored in the processor registers. Its results are used as input to more advanced analyses, which ultimately yield information about the stack usage and the timing behavior of embedded software. 1 Abstract Interpretati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: YUJOR
سال: 2009
ISSN: 0354-0243,1820-743X
DOI: 10.2298/yjor0901133v